| 1. | A new binary decision diagram device and circuit
一种新型二元判定图器件和电路 |
| 2. | The study of ordered binary decision diagram and its constructing arithmetic
有序二叉判定图及其构造算法研究 |
| 3. | Binary decision diagram minimization algorithm based on genetic tabu hybrid strategy
基于遗传禁忌混合策略的二叉判定图最小化算法研究 |
| 4. | 1996 , 143 : 205 - 212 . 5 purwar s . an efficient method of computing generalized reed - muller expansions from binary decision diagram . in ieee trans
本文提出了将逻辑函数表示成真值矢量,用提出的积收缩,通用和收缩,消去和分解算符来收缩真值矢量的算法。 |
| 5. | 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。 |
| 6. | An active fta constructing method , qualitative and quantitative as well as module analysis of fta based on binary decision diagram ( bdd ) was researched in this thesis
本文研究了动态建造故障树的方法，以及基于bdd的故障树定性分析、定量分析和模块分析方法。 |
| 7. | Bdd ( binary decision diagram ) is the state - of - the - art data structure in logic function . it is widely used in the fields of computer science and digital circuit and system
二元判决图bdd ( binarydecisiondiagram )是逻辑布尔函数的一种高效表示方法，在计算机科学以及数字电路与系统等领域中有广泛的应用。 |
| 8. | The features of aircraft flight line maintenance expert system were analyzed in this dissertation . decision fault tree ( dft ) based binary decision diagram ( bdd ) was presented , which applied in the expert system in combination with case based reasoning ( cbr )
本文分析了飞机航线维护排故专家系统的特点，提出了基于二元决策图的判定故障树方法，并将该方法和基于事例推理的方法应用于专家系统的开发，给出了这两种方法的集成诊断模型。 |
| 9. | Reliability is an important parameter in evaluating the performance of a communication network . anew algorithm of computing networks reliability by using binary decision diagrams ( bdd ) is presented in this paper . the algorithm can get a much simpler bdd diagram than the other algorithms , and can reduce the complexity of the computation efficiently
关于网络可靠度，在已有结果的基础上，提出了一种利用二元判决图计算网络可靠度的方法，该方法将网络的最小路集用二元判决图来表示，并得到最小路集的不交和，最后获得网络的可靠度。 |
